Perpetuality for Full and Safe Composition (in a Constructive Setting)
نویسنده
چکیده
We study perpetuality in calculi with explicit substitutions having full composition. A simple perpetual strategy is used to define strongly normalising terms inductively. This gives a simple argument to show preservation of β-strong normalisation as well as strong normalisation for typed terms. Particularly, the strong normalisation proof is based on implicit substitution rather than explicit substitution, so that it turns out to be modular w.r.t. the well-known proofs for typed lambdacalculus. All the proofs we develop are constructive.
منابع مشابه
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems
We present two characterizations of perpetual redexes, which are redexes whose contractions retain the possibility of in nite reductions. These characterizations generalize and strengthen existing criteria for the perpetuality of redexes in orthogonal Term Rewriting Systems and the -calculus due to Bergstra and Klop, and others. To unify our results with those in the literature, we introduce Co...
متن کاملShaping the Health Policy Agenda: The Case of Safe Motherhood Policy in Vietnam
Background Maternal health remains a central policy concern in Vietnam. With a commitment to achieving the Millennium Development Goal (MDG) 5 target of maternal mortality rate (MMR) of 70/100 000 by 2015, the Ministry of Health (MoH) issued the National Plan for Safe Motherhood (NPSM) 2003-2010. In 2008, reproductive health, including safe motherhood (SM) became a national health target progra...
متن کاملZirconium Dodecylphosphonate: Selective and Constructive Catalyst for Preparation of 2-Alkyl Benzoxazoles from Aliphatic Carboxylic Acids
In this study, zirconium dodecylphosphonate was synthesized by the reported method in scientific literature. 2-Alkylbenzoxazoles were prepared from aliphatic carboxylic acids and 2-aminophenol in the presence of this catalyst under solvent-free conditions at 100°C. Their structures were recognized by IR, 1H NMR, and 13C NMR. Then, we used aromatic carboxylic acids in t...
متن کاملPolitical Impetus: Towards a Successful Agenda-Setting for Inclusive Health Policies in Low- and Middle-Income Countries; Comment on “Shaping the Health Policy Agenda: The Case of Safe Motherhood Policy in Vietnam”
Agenda-setting is a crucial step for inclusive health policies in the low- and middle-income countries (LMICs). Enlightened by Ha et al manuscript, this commentary paper argues that ‘political impetus’ is the key to the successful agenda-setting of health policies in LMICs, though other determinants may also play the role during the process. This Vietnamese case study presents a good example fo...
متن کاملConformity with Clinical Setting among Nursing Students as a Way to Achieve Belongingness: A Qualitative Study
Introduction: Belongingness is one of the most important needs among students in order to have proper performance in clinical setting. If basic needs of students to security and belonging are not met, higher level needs will be of less importance and there will not be an opportunity to consider them. The purpose of this study is to present a set of findings by studies exploring nursing students...
متن کامل